2

Meta-programming With Built-in Type Equality

Year:
2008
Language:
english
File:
PDF, 320 KB
english, 2008
3

Implicitly Heterogeneous Multi-Stage Programming

Year:
2007
Language:
english
File:
PDF, 787 KB
english, 2007
7

DSL implementation using staging and monads

Year:
2000
Language:
english
File:
PDF, 901 KB
english, 2000
8

Two-level types and parameterized modules

Year:
2004
Language:
english
File:
PDF, 231 KB
english, 2004